dual projection theorem

un. 对偶射影定理